Alvin Plantinga's modal ontological argument establishes that if God is possible, God exists in all ...