Constraints on solution ()