Added subgoal diagram