20.6 Overconstraint checks