choose subgoal form