  Nevertheless, there is more to Ramsey’s view than what the label ‘redundancy’ suggests. The bearers of truth, i.e. propositions, can be referred to directly, as in ‘that Caesar was murdered’, or identified by description, as in ‘what she said’. Correspondingly, truth can be attached to the direct expression of a proposition, as in ‘It is true that Caesar was murdered’, or to a description, as in ‘what she says is true’. When truth applies to expressions of the first kind, Ramsey characterizes its role as eliminable: ‘it is evident that “It is true that Caesar was murdered” means no more than that Caesar was murdered, and “It is false that Caesar was murdered” means that Caesar was not murdered’ (1927a, [PP], 38–9). But when the truth predicate applies to expressions of the second kind, Ramsey explicitly claims that it cannot be dispensed with: ‘In the second case in which the proposition is described and not given explicitly we have perhaps more of a problem, for we get statements from which we cannot in ordinary language eliminate the words “true” and “false”’ (loc. cit.).