28.6 Overconstraint checks