back up one second, last subgoal now showing