Broke the sock problem down into constraints and subgoals.