Magari and others on Gödel’s ontological proof