If possible worlds themselves are necessary existents (as Lewis and Plantinga both hold for their re...