graph F(x,y,z)=z-2