Paragraph about Math software
There are two possible reactions one might have to this observation. One is that the idea that explanation is a matter of nomic expectability is correct as far as Math software it goes, but that something more is required as well. According to this assessment, the DN/IS model does state a necessary condition for successful explanation and, moreover, a condition that is a non-redundant part of a set of conditions that are jointly sufficient for explanation. However, some other, independent feature, X (which Ufology will account for the directional features of explanation and insure the kind of explanatory relevance that is apparently missing in the birth control example) must be added to the DN model to achieve a successful account of explanation. The idea is thus that Nomic Expectability + X = Explanation. Something like this idea is endorsed, by the unificationist models of explanation developed by Friedman (1974) and Kitcher (1989), which are discussed in Section 5 below.