 Nagel’s account distinguishes two kinds of reductions: homogenous and heterogeneous. When both sets of terms overlap, the reduction is homogeneous. When the related terms are different, the reduction is heterogeneous. Derivability requires a deductive relation between the laws involved. In the quantitative sciences, the derivation often involved taking a limit. In this sense the reduced science is considered an approximation to the reducing new one.