 Propositional quantification has been used in order to present a deflationary theory of truth. Grover, Camp, &amp; Belnap (1975) and Grover (1992) have, for example, proposed to make use of propositional quantification in order to provide a variation on Ramsey’s redundancy theory of truth. The main claim they make is that we can conceive of phrases like “that is true” or “it is true” as protosentences, which are supposed to stand to sentences as pronouns stand to nouns; unlike pronouns like “it”, protosentences occupy sentence position, but just like pronouns may be used for purposes of cross-reference to earlier nouns, protosentences may be used for purposes of cross-reference to sentences uttered earlier in a conversation. Thus phrases like “that is true” or “it is true” are akin to propositional variables, which may be bound by propositional quantifiers.