 At the core of classical quantificational logic lies what we may call pure quantificational logic, which makes no provision for any singular terms other than variables. In pure quantificational logic, one may still make use of Russell’s theory of definite description to simulate singular terms for which we have a method of contextual elimination.