Set-theoretic proper classes are not ad hoc; they're principled mathematical constructs solving well...
This proposition has not been edited since the history system was added.