Proof techniques in graph theory proceedings of the second Ann arbor graph theory conference, February 1968.