Without universals, predicates become merely linguistic conventions, making '∃x Human(x)' true only ...
This proposition has not been edited since the history system was added.