 While Lyon does not claim that all mathematical explanations in science are process program explanations, he argues that the cases that have been at the center of attention in the discussion of mathematical explanations of scientific phenomena are special cases of program explanation, namely those in which the mathematics is indispensable to the programming. Lyon also defends the thesis that what characterizes mathematical explanations of scientific facts is a certain modal stability (see also the discussion of Lange 2013c in the previous subsection) which account for their being good explanations, an explanation that does not have to be altered even when the causal history for the occurrence of the event (say, the cracking of a glass flask) had been different from the actual ones. Saatsi 2012 denies that the cases analyzed by Lyon fit the Jackson-Pettit model of program explanation and thus resists Lyon’s use of the examples to buttress a realistic interpretation of the mathematics used in those explanations. For further discussion of program and process explanations applied to logical explanations of scientific facts see Baron and Colyvan 2016.