Interpolation and definability | lit.salon