Whether the so-called ontological argument for the existence of God proves what it purports to prove depends on whether existence is a predicate. M.-M. V.