1: \begin{definition}\label{def:simulates}

2: %Let $\bB$ be an $\omega$-categorical model-complete core, and let $\cC$ be its

3: %polymorphism clone. 

4: %If $\bB$ satisfies the equivalent conditions 

5: %in Theorem~\ref{thm:simulates-tame},

6: %then we say that $\bB$ \emph{simulates} $(\{0,1\};\OIT)$; otherwise 

7: %If $\bB$ does not satisfy the equivalent conditions in Theorem~\ref{thm:simulates-tame},

8: %we say that $\cC$ is \emph{tame}.

9: %the model-complete core

10: %of $\bB$ has an expansion $\bC$ by finitely many constants

11: %such that ${\cal V}(\bf A(\bC))$ contains

12: %an 2-element algebra where all operations are projections.

13: %\end{definition}

14: