GenericModel comments on Gödel’s Ontological Proof

[GenericModel]

Indeed! I do discuss this in the conclusion, fwiw.