More simplifying: the two traversers are converging.