after strongly connected components