pseudocode for final push