Bondar, O. Gödel`s Ontological Argument, Positive Properties, and Gaunilist Objection. Sent 2021, 40, 56-67.