Lists and nested subgoals