33.6 Overconstraint checks