Title: Interpolation and Definability