Strong Induction Is an Up-To Technique. - Filippo Bonchi; Elena Di Lavore; Anna Ricci (CSL, 2025)