Adding redo to requirements