 It is clear that this divergence potentially has dramatic consequences for one’s conception of the relationships between facts and propositions. Take for granted that it is necessary that Socrates is human, and that Socrates only contingently exists. Then a proponent of view (b), but not a proponent of view (a), can claim that the proposition that Socrates is human is true in a world iff [being human; Socrates] exists in that world.