 Interest in mathematical beauty, and especially the beauty of mathematical proofs has received much emphasis of late (see Cellucci 2014, Raman-Sundström et al. 2016, Inglis and Aberdein 2015, Thomas 2017). The most extensive studies connecting mathematical beauty and explanation are Giaquinto 2016, Lange 2016, and Dutilh Novaes, 2018. Giaquinto argues against what might be a prima facie persuasive claim, namely that explanatory proofs and beautiful proofs tend to be the same. He claims that there are reasons to doubt that explanatory proofs tend to be beautiful and insufficient evidence for establishing the converse implication. Lange also compares virtues of mathematical proofs such as beauty and explanatoriness and concludes that ‘the features of a proof that would contribute to its explanatory power would also contribute to its beauty, but that these two virtues are not the same; a beautiful proof need not be explanatory.’ By contrast, Dutilh Novaes develops an account of mathematical beauty in terms of explanatoriness within the conceptual framework of a dialogical theory of proofs and exploiting the concept of ‘functional beauty’. She claims that ‘when mathematicians attribute aesthetic properties to proofs, they are by and large (though not entirely) tracking the epistemic property of explanatoriness.’