Most predicates attribute properties to their subjects, but the redundancy theory denies that the predicate "is true" does so. Instead, it treats the predicate "is true" as empty, adding nothing to an assertion except to convert its use to its mention. That is, the predicate "___is true" merely asserts the proposition contained in the sentential clause to which it is applied but does not ascribe any additional property to that proposition or sentence, and in Ramsey's British lexicon, "is true" is redundant.