Text this: Larisa Maksimova on Implication, Interpolation, and Definability