Larisa Maksimova on Implication Interpolation and Definability | Kaicus Deutschland