\left( x,x+1\right) \in \phi \wedge \left( x+1,\left(x+1\right) -1\right) \in \phi \wedge x\neq x+1