P(x,y,z)\geq 0