graph, plus some references, and lemmas