Updated subgoals