Existence Proofs And The Ontological Argument