1: \begin{definition}

2: Suppose $\mathbf{s} = (\lambda, \mu, \theta, \tau, k)$ is a suitable sequence. By Theorem~\ref{SetTheoryDividingLines}, we can find a complete Boolean algebra $\mathcal{B}_{\mathbf{s}}$ with the $\lambda$-c.c. and an ultrafilter $\mathcal{U}_{\mathbf{s}}$ on $\mathcal{B}_{\mathbf{s}}$ such that $\mathcal{U}_{\mathbf{s}}$ $\lambda^+$-saturates every theory with the smooth $\mathbf{s}$-extension property, and does not $\lambda^+$-saturate any theory without the $\mathbf{s}$-extension property. 

3: 

4: Say that $\mathbf{s}$ is of type I if $\tau > \aleph_0$. Say that $\mathbf{s}$ is of type II if $\tau = \aleph_0$ and $\theta > \aleph_0$. Say that $\mathbf{s}$ is of type III if $\tau  = \theta = \aleph_0$ and $k < \aleph_0$. Finally, say that $\mathbf{s}$ is of type IV if $\tau = \theta = k = \aleph_0$. 

5: 

6: Let $k_*(\mathbf{s}) = \mbox{sup}\{k'+1: 2 \leq k' < k \mbox{ and $\lambda$ is big enough for } (\mu, \theta, k')\}$, so $3 \leq k_*(\mathbf{s}) \leq k$. 

7: \end{definition}

8: