\varphi (x_2)>0