 As emerges from the discussion of Grover, et al. (1975) in Section 2, prosententialism is the form of deflationism that contrasts the most with inflationism, rejecting even the latter’s initial assumption that the alethic locutions function as predicates. Partly in response to the difficulties confronting Grover, et al.’s prosentential account, Robert Brandom (1988 and 1994) has developed a variation on their view with an important modification. In place of taking the underlying logic of ‘true’ as having this expression occur only as a non-separable component of the semantically atomic prosentential expressions, ‘that is true’ and ‘it is true’, Brandom treats ‘is true’ as a separable prosentence-forming operator. “It applies to a term that is a sentence nominalization or that refers to or picks out a sentence tokening. It yields a prosentence that has that tokening as its anaphoric antecedent” (Brandom 1994, 305). In this way, Brandom’s account avoids most of the paraphrase concerns that Grover, et al.’s prosententialism faces, while still maintaining prosententialism’s rejection of the contention that the alethic locutions function predicatively. As a consequence of his operator approach, Brandom gives quantificational uses of prosentences a slightly different analysis. He (re)expands instances of truth-talk like the following,