Thresholds necessarily involve degrees: a constraint applies below threshold T but not above, requir...
This proposition has not been edited since the history system was added.