Some simplification of theory a be gained by dispensing with singular terms other than varia hIes in familiar fashion: primitive names can be dropped in favor of uniquely fulfilled predicates and then restored as sin gular descriptions, which finally can be defined away in essentially Rus sell's way.