x2 + y1 <-> x1 + x3
x3 + y4 <-> x2 + y5
x1 <-> y2
x1 <-> y3
y7 <-> x4
x4 <-> y8