Changes for me understanding redo implementation