First commit of Bounds.tex which will eventually disprove Ben's (minor) conjecture.  I have defined several classes of trees, graph automorphisms etc.
Bounds.tex will eventually disprove Ben's (minor) conjecture