 It is plausible to suppose that that the truth value of a proposition such as (i) or (ii) depends on the existence of something distinct from that proposition. Since that is so, let us, as some adherents of a correspondence theory of truth would do, allow that if (i), say, is true, it has a relational property of being true. For example being true may be a relation that holds between (i) and the fact that Plate is round.