Induction without core-size blow-upa.k.a. Large records: anonymous edition Edsko de Vries, Adam Gundry Wednesday, 20 October 2021