User blog comment:MinersHavenM43/Expotorial/@comment-35470197-20181106214735

> n@ is also n-1@^n

I guess that this description is not what you intend, because (2-1)@^2 = (1@)@ = 1@ = 1 while 2@ = 2.