Instead of discovering all vertices adjacent to S, DFS will choose one: