PLANTINGA'S FULL ONTOLOGICAL ARGUMENT: - P1. It is possible that there be a being that has maximal greatness. - P2. So there is a possible being that in some world W has maximal greatness. - P3. A Being has maximal greatness in a given world only if it has maximal excellence in every world. - P4. A being has maximal excellence in a given world only if it has omniscience, omnipotence, and moral perfection in that world. - ∴ There actually exists a being that is omnipotent, omniscient, and morally perfect.