  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.
