need to Undo. twice for solved subgoals