Larisa Maksimova on Implication, Interpolation, and Definability