31.6 Overconstraint checks