1: \begin{lemma}[Pumping Lemma]

2:   \label{lem:pumping-lemma}

3:   For each $q\in \Npos$, there is a number $p\in \Npos$ such that for

4:   all component ordered structures $\AS$ and all $r\in \N$, $i,j\in \Npos$, 

5:   \[ \AS^{r+ip} \msoeleq[q] \AS^{r+jp}. \]

6: \end{lemma}

7: