Successfully refactored Constraint 4