fixed subgoal list of lists torlol'