redo exists nonexists