Existence differs crucially from predicates like 'red': it's a second-order property about instantia...
This proposition has not been edited since the history system was added.