On $\text{lam}$-existence over a predicate

We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\text{lam}$-complete set $A$ has the $\text{lam}$-existence property. This means that $A$ can be extended to a $\text{lam}$-saturated model of $T$ without changing the $P$-part. The notion of $\text{lam}$-completeness, introduced in this paper, captures some obvious necessary conditions for such an extension to be possible (for example, the $P$-part of $A$ has to be a $\text{lam}$-saturated model of the appropriate theory). So in a fully stable theory $T$, $\text{lam}$-existence can only fail for trivial reasons. This generalizes results of Chatzidakis in the context of difference fields of characteristic 0.