34.6 Overconstraint checks