add buttons in implication animation