  Let $T$ be a countable complete first-order theory with a definable,
infinite, discrete linear order. We prove that $T$ has continuum-many countable
models. The proof is purely first-order, but raises the question of Borel
completeness of $T$.
