redo Heap