Ontological arguments require that maximal greatness or necessary existence function as a first-orde...