Successfully refactored constraint 5