y is less than or equal to x - 2

y <= x - 2