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