1. all graphs which are not strongly connected can be broken down into strongly connected graphs
    1. since we can do this recursively, isn't this a tautology ??

    All notes