refactoring constraints