1: \begin{lemma}[MSO Pumping Lemma]\label{lem:mso-localisation}

2: Let $\varphi$ be an \mso sentence over  graphs (i.e.~the universe is the vertex set and the vocabulary consists of one binary edge predicate). 

3: Let $G$ be a  graph that satisfies $\varphi$. For every  induced subgraph $H$ of $G$, there is some $G'$ such that:

4: \begin{enumerate}[(1)]

5: \item\label{i1} $G'$ satisfies $\varphi$;

6: \item\label{i2} $H$ is an induced subgraph of $G'$; and

7: \item\label{i3} the number of vertices in $G'-H$ is bounded by a constant depending only on $\varphi$ and $\rank{G,H}$.

8: \end{enumerate}

9: \end{lemma}

10: