Mind the gap: A conciliating short proof of strong normalization for minimal propositional logic. - Favio Ezequiel Miranda-Perea; Eduardo Ugalde-Reyes (Ann. Pure Appl. Log., 2026)