1: \begin{definition}

2: Given a graph $G$,

3: we say that a subset $S\sse V(G)$ of vertices is \emph{nasty} iff it has properties (P1) and (P2), and $|S|\geq \frac{2^{16}\cdot \dmax^6}{(\alpha^*)^2}\cdot|\Gamma(S)|^2$, where $\alpha^*$ is the parameter from Theorem \ref{thm: well-linked}.

4: \end{definition}

5: