User blog comment:TheKing44/The analytical beaver functions/@comment-34422464-20190605125749

Finally, a well-defined Rayo-style function.