redo main