The singular terms involved in spelling, in particular, can of course finally be elimi nated in favor of a otation of the sort envisaged in recent pages, in which there are just predicates, quantifiers, variables, 'and; and 'not.'