we know that the graph doesn't have cycles