1: \begin{definition}\label{def:balls}
2: Take $x \in B_2(0)$, and $R < r < 2$. We say the ball $B_r(x)$ is \emph{good} if
3: \[
4: W_{\gamma \rho r} \geq E - \eta' \quad \text{ on } \quad S^k_{\eps, \eta R} \cap B_r(x),
5: \]
6: and we say $B_r(x)$ is \emph{bad} if it isn't good.
7:
8: By Theorem \ref{thm:dichotomy} with $E + \eta/2$ in place of $E$ (which is admissible by monotonicity and our choice of $[Q]_{\alpha, B_5(0)} \leq \eta/2c_0$), in any bad ball $B_r(x)$ we have
9: \[
10: \{ W_{2\eta r} \geq E - \eta/2 \} \cap B_r(x) \subset B_{\rho r}(\ell^{k-1})
11: \]
12: for some affine $(k-1)$-plane $\ell^{k-1}$.
13: \end{definition}
14: