But I reserve for another occasion the task of elucidating in greater detail the manifold misunderstanding brought upon the ontological proof of God's existence, and also on the rest of the other so called proofs, by logical formalism.