30.6 Overconstraint checks