\varphi(x_2)>0