To keep the notation and the pseudocode simple, let me just, for the purposes of the algorithm, description only, rename the edges one, two, three, four, all the way up to m conforming to this sorted order, right? 