Constraint checked in both orderings