A predicate need not add internal properties to be real; relational and extrinsic predicates are gen...
This proposition has not been edited since the history system was added.