Vertex in DFF of T
Note again, Cormen et al. use color instead of visited.
Discover is the time when vertex first visited.
Finish is the time when all vertices reachable from this vertex have been visited.