Updated paper with subgoal problems and some restructuring