redo.py