subgoal sharing new approach -> small changes to the conclusions