 Chisholm held that propositions are those states of affairs such that either the state of affairs or its negation always occurs (on Chisholm’s notion of state of affairs, see Kim 1979). But, as we have seen, the truth that Superman does not exist cannot be the state of affairs Superman’s non-existing occurring or obtaining.