 Often, Bolzano uses sentential forms such as ‘The man A is mortal’ in his discussions. At other times, he will simply write something like this: “Let us … consider the proposition ‘The man Caius is mortal’, and let us envisage the idea ‘Caius’ as arbitrarily variable” (TS, § 147).