exists." This is the general form of which the above is a particular case. "The author of Waverly" is "the term satisfying the function '
wrote Waverly.'" And "the so-and-so" will always involve reference to some propositional function, namely, that which defines the property that makes a thing a so-and-so. Our definition is as follows:—
"The term satisfying the function
exists" means:
"There is a term
such that