Background -> it ok for now
Subgoal Sharing -> begin