1: \begin{definition}

2: Let $P_{slp}$ denote the largest polynomial which bounds the run-time for any of the required $SLP$ operations. 

3: This polynomial is in terms of the largest $SLP$, which by Theorem~\ref{largest_slp}

4: is $\mathcal{O}(|S|^{4})$.

5: \end{definition}

6: