  One way out of this problem for the proponent of Nagel-type reductions is to make a distinction between explaining a theory (or explaining the laws of a given theory) and explaining it away. (Sklar 1967, 112–113) Thus, we may still speak of reduction if the derivation of the approximations to the reduced theory’s laws serves to account for why the reduced theory works as well as it does in its (perhaps more limited) domain of applicability. This is consonant with more sophisticated versions of Nagel-type reductions in which part of the very process of reduction involves revisions to the reduced theory. This process arises as a natural consequence of trying to deal with what Nagel calls “heterogeneous” reductions.