 The Nagel model describes reduction in terms of direct theory explanation, whereas an appropriate model of reduction should shape the notion in terms of indirect theory explanation, that is, in terms of explanation of the phenomena of a theory (Kemeny &amp; Oppenheim 1956; Schaffner 1967; Friedman 1982).