 In addition to the unification model, other models of scientific explanation have been tested with an eye to mathematical explanation. For instance, Sandborg (1997, 1998) tests van Fraassen’s account of explanation as answers to why-questions by using cases of mathematical explanation. Molinini 2014 subjects Hempel’s D-N model to a probing analysis with respect to how it deals with mathematical explanations (both of scientific facts and of mathematical facts). Frans and Weber 2014 propose to apply mechanistic accounts to mathematical explanations where talk of capacities in the former account is rendered in terms of dependencies in the latter account (the approach is discussed also in Baracco 2017). Reutlinger 2016 and Gijsbers 2017 modify Woodward’s counterfactual theory (by eliminating the appeal to interventions) so as to apply it to mathematical explanation.