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.