 Although it is a logical truth of SQML, necessitism is not analytically entailed by possibilism. There is, in particular, nothing in the idea of a mere possibile that demands its necessity, nothing that rules out worlds from which it might be altogether absent, worlds (in addition to those in which it is either concrete or non-concrete) in which nothing is identical to it. This might lead one to wonder whether SQML, by building necessitism into its logical foundations, has (from a possibilist perspective) gotten the logical cart before the philosophical horse. On reflection, however, it is clear that necessitism is, not only a natural complement to possibilism, but an essential component of it. For, as we’ve seen, the central justification for possibilism is that it provides truthmakers for modal propositions like  (2);  it grounds them in the modal properties of individuals. If the purported truthmakers for those propositions could fail altogether to be, if it could be that there are no such things, then, for all we know, it might just as well be that there are in fact no such things and, hence, that there are no truthmakers for  (2)  and its ilk after all; and with that, possibilism’s central philosophical justification collapses. Necessitism closes the door on this prospect: both possibilia and actually existing things alike are necessary  beings.[47]