Ontological proof

Summary