  Theorem: There is a {\em complete sentence} $\phi$ of $L_{\omega_1,\omega}$
such that $\phi$ has maximal models in a set of cardinals $\lambda$ that is
cofinal in the first measurable $\mu$ while $\phi$ has no maximal models in any
$\chi \geq \mu$.
