https://en.wikipedia.org/wiki/Kosaraju%27s_algorithm
https://www.geeksforgeeks.org/strongly-connected-components/
https://www.youtube.com/watch?v=RpgcYiky7uw