huge changes, refactoring, now displaying all subgoals always