Ops a:0 f:1
TRS rebelsky4
f(f(f(f(a)))) -> a
