So then now we're done with T we back track back to V. We decrement the current label as we finish up with T. We get to V, and now there's no more outgoing arcs to explore, so its for loop is finished. 