Auxiliary conditions (1, 1)
(1): T1_Q2 = Q1