Minor punctuation and printer errors repaired. Italic text is denoted by _underscores_ and small capitals by =plus signs=.