 That is, in Q, that something exists only follows from the self-identity of some particular object if that object is a necessary being, an object that exists in every possible world. We will be able to appreciate Prior’s motivations here (explained  below)  once Q’s underlying propositional modal logic is in place.