Abstract We show that a complete first-order theory T is distal provided it has a model M such that the theory of the Shelah expansion of M is distal.

Abstract Answering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M.

Abstract We clarify and correct some statements and results in the literature concerning unimodularity in the sense of Hrushovski [7], and measurability in the sense of Macpherson and Steinhorn [8], pointing out in particular that the two notions coincide for strongly minimal structures and that another property from [7] is strictly weaker, as well as “completing” Elwes' proof [5] that measurability implies 1-basedness for stable theories.