Plantinga's modal ontological argument shows that if maximal greatness is possible, it is actual, an...