it is hardly possible to either prove or disprove A': (A') There is a possible world in which maximal greatness is not instantiated. or another notion opposed to A; what I called anti-A-2: (anti-A2) No such thing as God exists, and no such thing can possibly exist in any possible, imaginable, conceivable universe.