Email Record: Proof techniques in graph theory ;