MoL-2023-28: Lemal, Simon (2023) Hereditary structural completeness of weakly transitive modal logics. [Report]