G = Graph(T)
X
Y
π₁
π₂
T = π₂∘π₁⁻¹