 Classical quantificational logic allows for singular terms other than variables. There are, first, individual constants, and, second, singular terms, which result from the combination of a function symbol with an appropriate number of singular terms. In addition to this, classical quantificational logic with identity makes provision for a special identity predicate.