list of applicable tactics, since it's available in the sequent view. -->
                    <div class="btn-group btn-group-lg k4-inline-block">
                        <a ng-if="t.tooltip == undefined" type="button" class="btn btn-default input-block-level"
                           ng-click="applyTactics(t)">
                            <span ng-if="t.icon" class="t.icon"><br /></span>
                            <span k4-mathjaxbind="t.label"></span>
                        </a>
                      