Existence is not a real predicate but a logical function; adding 'necessary' to existence doesn't en...
This proposition has not been edited since the history system was added.