\varphi(x_i,y_i,z_i,t)\leq 0