a way to combine two tactic continuations.