one tree case at each subgoal working.