$forall x ;left( f(f(f(x)))=x ; wedge ; neg f(f(x))=xright)$

So basically, the formula states that $f$ composed three times returns $x$, but composed twice doesn’t. I have been thinking about this for quite a while and I haven’t come up with anything.