 Just as necessitism is not analytically entailed by possibilism, its denial—i.e., that there at least could be contingent (i.e., henceforth, contingent∃) beings—is not analytically entailed by actualism. An actualist could consistently maintain that, necessarily, everything is necessarily identical with something and hence in particular, given their rejection of contingent non-concreta, that, necessarily, every concrete thing is necessarily identical to some concrete thing—put another way, that, necessarily, if something is concrete at any time at all, it is necessarily and eternally concrete.  (Spinoza  might be ascribed such a view, insofar as  God-or-Nature  is taken to be concrete and is, ultimately, the only concrete thing.) For typical actualists, however, it is fundamental to their view that there are in fact many contingent beings, many things that could have failed to be identical with anything; reality could have altogether lacked many things that just happen to exist. A natural (if, as we’ll see, not entirely unproblematic) way of expressing this is to say that there are possible worlds where at least some things in the actual world are simply absent; more generally, it is to say that what exists—that is, for the actualist, what there is in the broadest sense—varies from world to world. This fundamental actualist intuition is at the heart of Kripke’s semantics for quantified modal languages.