give the option to say whether a subgoal is necessary