 Grover, et al.’s project is to develop the theory “that ‘true’ can be thought of always as part of a prosentence” (ibid., 83). They explain that ‘it is true’ and ‘that is true’ are generally available prosentences that can go into any sentence-position. They consider these expressions to be “atomic” in the sense of not being susceptible to a subject-predicate analysis giving the ‘that’ or ‘it’ separate references (ibid., 91). Both of these prosentences can function in the “lazy” way, and Grover, et al. claim (ibid., 91–2, 114) that ‘it is true’ can also operate as a quantificational prosentence (i.e., a sentential variable), for example, in a re-rendering of a sentence like,