Richard_Kennaway comments on Gödel’s Ontological Proof