Broke the problem down into constraints and subgoals.