In a directed graph, are the vertices along a path sorted?