jessicata comments on Gödel’s Ontological Proof