Larisa Maksimova on Implication, Interpolation, and Definability - Sergei Odintsov (Springer, 2018)