 The interaction of quantification and modality turns out to raise difficult philosophical problems. As we will see, some of these difficulties have, in fact, inclined some philosophers to rethink the scope of pure quantificational logic. The problem is that certain theorems of quantified modal logic suggest that everything is necessarily something. The subject matter of ontology is necessary: nothing could have failed to be something.