Fig. 1.

The loop ranging over the boundary of this geometric shape equals $\alpha$, after ignoring edges in the maximal tree and canceling pairs $(e,e^{-1})$. The interior of the triangles gives rise to a contraction