Adding a tactic continutation like [ a | b | c ]