The paragraph about proper names was miswritten. I should read ``... We say that a class C has a proper name S if S=(class-name C) and C=(symbol-class S). Notice that it is possible that C\neq (symbol-class (class-name C)).''' -rpg-