I don't understand this constraint.