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

ZFC- +(V=HC) has fewer models than ZFC-, so it's interpretable by more theories, as we need to account for fewer cases in our interpretation.