If necessary existence is coherent (as Plantinga argues via possible worlds semantics), then P1's po...