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