I am reading Scott and Wall's paper on Topological Methods on Group Theory.
At one place he mentions: universal group of graph of groups. What is the meaning of this. In particular, I am attaching the proof that I am unable to understand:
I am having trouble with the converse.