>> [Feel free to ignore their typos and other editorial mishaps (does anyone >> know what "highly thematicalsystems-level programming" is, for example?... > >My guess is "highly mathematical systems-level programming". How about "theoritical" ?