 One important theoretical use of non-actual possible objects is to bolster the most straightforward quantified modal logic (Scott 1970, Parsons 1995). If we add a modal sentential operator meaning “it is possible that” or “it is necessary that” to classical first-order quantificational logic, along with appropriate axioms and an appropriate rule of inference catering to the added operator, the resulting system yields a sentence meaning the following as a theorem: