  We cannot enter here into the technicalities of Kitcher’s model. Unlike Steiner’s model of mathematical explanation, Kitcher’s account of mathematical explanation has not been extensively discussed (in contrast to the extensive discussion of his model in the context of general philosophy of science). A general discussion is found in Tappenden 2005 but not a detailed analysis. The only exception is Hafner &amp; Mancosu 2008, where Kitcher’s model is tested in light of Brumfiel’s case from real algebraic geometry, described in section 4. The authors argue that Kitcher’s model makes predictions about explanatoriness that go against specific cases in mathematical practice (see also Pincock 2015b).