Email Record: Two-dimensional homotopy and combinatorial group theory /