1. for all x if x has conceivable existence and x has exclusive existence in the understanding then x has conceivable existence in reality 2. for all x if x has exclusive existence in the understanding then x has conceivable existence 3. for all x if x has conceivable existence in reality then x admits of ontological perfectibility 4. for all x either x has exclusive existence in the understanding or x has actual existence c. God exists let: əUx=x has exclusive existence in the understanding @E!x=x has actual existence ©E!x=x has conceivable existence ©Rx=x has conceivable existence in reality Ix=x is ontologically imperfectible the definite description God g=(℩x)(Ix) proof: 1. (∀x) (©E!x ∧ əUx)⊃©Rx. premise 2. (∀x) əUx⊃©E!x. premise 3. (∀x ) ©Rx.⊃~Ix. premise 4. (∀x )əUx ⊕ @E!x. premise 5. əUg⊃©E!g. 2UI 6. əUg. ...