User blog comment:Emlightened/BIG FOOT is SMALLER than FISH NUMBER 7/@comment-5529393-20161225093559/@comment-27513631-20161225114753

Oh, something else popped to mind:

We should assume the correct cardinals to exist in \(V\) if we use FOOT, as they are defined in FOOT. Therefore, we can create a predicate for \(C\) using \(T_0\), and hence for [], so \(FOOT\) is outstripped by \(FOST_1\).