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

well, I guess we can just use Rayo's language, and just interpret the variables to be over higher order objects. That should work.