Breaking out "continuations", tactics that work on multiple goals.