  While one could easily provide myriads of evaluations by mathematicians contrasting explanatory and non-explanatory proofs of the same theorem, it is important to point out that explanations in mathematics do not only come in the form of proofs (this has been also emphasized by D’Alessandro 2018, who however unfortunately ignores claims to this effect in the previous literature on mathematical explanation). In some cases explanations are sought in a major conceptual recasting of an entire discipline. In such situations the major conceptual recasting will also produce new proofs but the explanatoriness of the new proofs is derivative on the conceptual recasting. This leads to a more global (or holistic picture) of explanation than the one based on the focus on individual proofs. Mancosu 2001 describes in detail such a global case of explanatory activity from complex analysis; see also Kitcher 1984 and Tappenden 2005 for additional case studies.