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

b-th order set theory is not well-defined :/