Ontological_proof loading ...