 Tolerance of vacuously true generalizations does not stop contemporary classical logic from precluding an empty world. Since its universal quantifier has existential import, each of its logical laws imply that something exists. For instance, the principle of identity, Everything is identical to itself entails There exists something that is identical to itself. Many attractive inferences are jeopardized by the empty world.