GenericModel comments on Gödel’s Ontological Proof

[GenericModel]

Yeah seems like the most doubtful one to me too.