1 <= x-y < 7