User blog comment:TySkyo/Super-duperplex/@comment-29014792-20160805150230/@comment-28633611-20160805162838

Well, writing Rayo_(ω+1) (3) is both simpler and larger.

There's little point in going into the trouble of defining that large-but-computable S, when you could have simply added 1 to the ordinal.