Implemented redo.