Strongly connected subgraphs (Kosaraju).