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