Definability and interpolation by