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