You should have just received a copy of release 2.0 of the Structures Directory, email addresses of "structure theorists". In order to get it past his mailer Bob has edited out the # (sharp) sign found at the beginning of each of the first 55 lines. If you are following the directions to append this file to your aliases file (found in /usr/lib or /etc) then you will need to either delete or comment out those 55 lines. To comment them out to match the source code insert a sharp sign at the start of each of the 55 lines. An alternative that I have not tried but that I would expect to work is to put a left parenthesis at the start of line 1 and a right parenthesis at the end of line 55 or on line 56 (blank). This is an alternative method of "commenting out" text in aliases files. The only problems I can imagine this causing are excessive length of commented-out region (unlikely provided the commented-out text is being scanned by a finite-state automaton), and failure to handle nested parentheses correctly (the commented-out text includes several parenthetical remarks). If you encounter these or any other problems please contact me, pratt@cs.stanford.edu. Note also that the character on line 3 immediately before the ftp is a tilde, not a caret as it may have appeared on your machine. To retrieve the latest release of this list at any time use anonymous ftp to fetch the file /pub/structdir from Boole.Stanford.EDU (at internet address 36.8.0.65 if your name server claims ignorance of 19th century logicians.) Vaughan Pratt