subgoal sharing new approach -> ok for the moment