Consider a merger message from city A arriving at neighbouring city B along merge link

(a,

b) in protocol Mega-Merger. Prove that if we reverse the logical direction of the links on the path from D(A) to the exit point a and direct toward B the merge link, the union of A and B will be rooted in the downtown of A.