User blog comment:Superman37891/BIG FOOT Primussupremus.0/@comment-30754445-20170622114319

Well, check out my explanation for Rayo's Number on your other post and then read this:

We could translate your post into BIG FOOT's language in the following way:

(1) Define a "word" for the BIG FOOT itself (which requires - by definition of BIG FOOT - a number of letters bigger than the number of atoms in the universe)

(2) Define the function {n,n,n|n,n} in Primus' notation (which would probably require a page or two)

(3) Write down the sentence "We plug in the number from #1 into the function in #2" (one line)

As you can plainly see, step #1 overwhelms everything else. So Username is right: It's just a salad on BIG FOOT.