 The “victorious” modal ontological argument of Plantinga 1974 goes roughly as follows: Say that an entity possesses “maximal excellence” if and only if it is omnipotent, omniscient, and morally perfect. Say, further, that an entity possesses “maximal greatness” if and only if it possesses maximal excellence in every possible world—that is, if and only if it is necessarily existent and necessarily maximally excellent. Then consider the following argument: 