G. Damschen, “Questioning Gödel’s Ontological Proof: Is Truth Positive?”, EJPR, vol. 3, no. 1, pp. 161–169, Mar. 2011.