User blog comment:LittlePeng9/FOOT is not as strong as I thought/@comment-5529393-20161225204232

Should I get the ball rolling? Just in case anyone thought I had an ounce of originality, I hereby submit:

High Rayo = HOST_Rayo(Rayo) {where HOST_m(n) is as defined below}