Plantinga's modal ontological argument requires stipulating S5's Brouwer axiom, which itself presupp...