add Redo test