NFU enforces strict type stratification where all quantifiers must respect type levels, preventing u...
This proposition has not been edited since the history system was added.