(a<=b & b+1 <= c & c+1<=a)