use push in the undo/redo example