Constraint 1 is now tested.