x+1 \leq y