[Note on text: Italicized words or phrases are CAPITALIZED. Lines longer than 78 characters are broken and the continuation is indented two spaces. Some obvious errors may have been corrected.]