 the left- and right-hand sides are meaning-equivalent. But Ramsey extends his redundancy theory beyond just the transparent instances of truth-talk, maintaining that the truth predicate is, in principle, eliminable even in opaque ascriptions of the form ‘\(B\) is true’ (which he (1929, 15, n. 7) explains in terms of sentential variables via a formula along the lines of ‘\(\exists p\) (\(p \amp B\) is a belief that \(p\))’) and in explicitly quantificational instances, like ‘Everything Einstein said is true’ (explained as above). As the above quote illustrates, Ramsey recognizes that in truth ascriptions like these the truth predicate fills a grammatical need, which keeps us from eliminating it altogether, but he held that even in these cases it contributes no content to anything said using it.