Auxiliary conditions (2, 2)
(1): Q2 = y2
(1): Q1 = y1