Comment by leonhandreke

It's a bit more complicated than that, but yes, it seems that that's how it works: https://en.wikipedia.org/wiki/Double_Irish_arrangement