\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
We construct a simple positive Robinson theory with a bounded type-definable equivalence relation which is not the intersection of definable equivalence relations. Consequently, in this theory strong types are weaker than Lascar strong types, and the Lascar group is non-trivial.
\end{document}