Constraint qualification