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

The difference between ZFC- and ZFC-inf only invalidates the third part of my comment, and in the light of that I still disagree with the claim that "second order arithmetic can interpret ZFC-+(V=HC) but not ZFC-" can possibly hold.