Possibilism requires necessitism to preserve its central justification — that modal propositions have truthmakers grounded in the modal properties of individuals.

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 pe