The Five Severians

Christopher, FWIW I have hardcopy from July 1991 where I used the terms Sev1 and Sev2 (as well as Sev3, Sev4, and Sev5). Apparently I didn't use the term ProtoS until sometime later . . . September 1993, or so it seems. =mantis=