User blog comment:LittlePeng9/Higher order set theory/@comment-26428969-20150826092843

Isn't FOOT "O'OST"?