Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, Band 15)