maybe the next vertex we consider is the vertex t. but we've already been there so don't bother to dfs on t. then maybe after that we tried it on s. so, maybe s is the third vertex that the for loop considers.