Let $T$ be a stable $L$-theory with elimination of imaginaries. We work in the monster model $\mathfrak C$ of $T$. Let $A$ be a small (infinite) set of the monster, $\phi(x,y)$ be a $L(A)$-formula and $a_i:i\in \omega$ be a Morley sequence over $A$ such that $\mathfrak C\models \phi(a_0,a_1)$.

Can we find a Morley sequence $b_i:i\in \omega$ over a finite set $A_0$ such that $\mathfrak C\models \phi(b_0,b_1)$?

Note:This is of course true for a superstable theory and if one replaces $\phi$ by a type then this fails in non-superstable theories.