transitiveClosure
transitiveClosure
strongly connected components