The claim conflates syntactic limitation with semantic necessity; equational constraints may semanti...
This proposition has not been edited since the history system was added.