2.6 Is KTG finitely presented?

Summary. This is a sticky point. We are quite sure that relative to the elementary moves and with the generators $\MobiusSymbol$ and $\tetrahedron$ the set KTG is finitely presented, and we are quite sure that we know all the relations, and they are the pentagon and hexagon of Section 2.4. But depending on our mood in the morning of any given day, we either don't have a proof or are very unhappy about the proof we have. No reference yet.