Adding problem with subgoals doc