x<y , y<z, x>y-x, x>z-y, x>1-z, x>0, z<1