Dave Orr comments on Gödel’s Ontological Proof