  We show that if the restriction of the Lascar equivalence relation to a
KP-strong type is non-trivial, then it is non-smooth (when viewed as a Borel
equivalence relation on an appropriate space of types).
