refactoring Constraints