a + 2 >= b, b + 2 >= a