  But Russellians don’t usually renounce the correspondence theory entirely. Though they have no room for (1) from Section 3, when applied to propositions as truthbearers, correspondence will enter into their account of truth for sentences, public or mental. The account will take the form of Section 3’s (2), applied to categories of truthbearers other than propositions, where Russellian propositions show up on the right-hand side in the guise of states of affairs that obtain or fail to obtain. Commitment to states of affairs in addition to propositions is sometimes regarded with scorn, as a gratuitous ontological duplication. But Russellians are not committed to states of affairs in addition to propositions, for propositions, on their view, must already be states of affairs. This conclusion is well nigh inevitable, once true propositions have been identified with facts. If a true proposition is a fact, then a false proposition that might have been true would have been a fact, if it had been true. So, a (contingent) false proposition must be the same kind of being as a fact, only not a fact—an unfact; but that just is a non-obtaining state of affairs under a different name. Russellian propositions are states of affairs: the false ones are states of affairs that do not obtain, and the true ones are states of affairs that do obtain.