reduced subgoals to one