Simplification of Ontological Argument

Simplification of Ontological Argument

The following file is the appendix to the paper "PROVER9's Simplification Explained Away" forthcoming in Australasian Journal of Philosophy. It contains PROVER9's proofs and models I mention in this paper.