Clean version of the traversals from Sec V-B.