, in stage $i$, we picked $\epsilon k$ independent columns of $\overline{\eval_{i}}$. At the end of stage $i-0$, $[f]$ was restricted to vary in some affine subspace $A_{i-0}$. Thus the possible values of $