what does kant argue in "the impossibility of an ontological proof of the existence

[Pepper D]

of god"? What are some of the major themes/arguments here? I know they are that necessity cannot prove existence somewhat and that contradictions such as "God is omnipotent" are a necessary judgement, what what are some of his proofs and his belief, for god or against? (counter-arguing descartes)