, that from the former the latter may be inferred a proposition the ontological proof asserted, which one thus assumes in the cosmological proof and takes as one's ground, although one had wanted to avoid it.