Email Record: Interpolation and definability in modal logics :