 Since he takes truth-talk to involve describing propositions with a predicate, Horwich considers ‘it is true that \(p\)’ to be just a trivial variant of ‘The proposition that \(p\) is true’, meaning that his (E) is a version of (ES-prop) rather than of Ramsey’s (ES-op). He also employs the notation ‘\(\langle p\rangle\)’ as shorthand specifically for ‘the proposition that \(p\)’, generating a further rendering of his equivalence schema (ibid., 10) that we can clearly recognize as a version of (ES-prop), namely