# \$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.