Modern logic shows that truth-conditional differences between predications don't require the copula ...
This proposition has not been edited since the history system was added.