Text this: Interpolation and definability in modal logics :