0<= y <= x