35.6 Overconstraint checks