 On Ramsey’s redundancy theory (as it is often called), the truth operator, ‘it is true that’ adds no content when prefixed to a sentence, meaning that in the instances of what we can think of as the truth-operator version of (ES),