But on the other hand the arc SW will cause us to recursively call DFS on W. From W we try to look at the arc from W to T, but we've already been to T so we don't do anything, that finishes up with W so depth-first search then finishes up at the vertex W, W gets the assignment of the current label, so F of 