Jiro comments on Gödel’s Ontological Proof