solved a subgoal