 The connection between inter-theoretic reduction and explanation is familiar from philosophy of science. Rantala 1992 and D’Alessandro 2017 provide two contributions in the case of mathematics. In particular, D’Alessandro claims that the standard reduction of arithmetic to set theory is non-explanatory but does not exclude that other reductions between mathematical theories can be.