Furthermore, the recursive call corresponding to the node V, is going to finish, is going to get popped off the program stack before that of U. The easiest way to see this is just to think about the recursive structure of depth-first search. 