ontological disproof