 [t]he [reducing] theory must also be fertile in usable suggestions for developing the secondary science, and must yield theorems referring to the latter’s subject matter which augment or correct its currently accepted body of laws. (Nagel 1961: 360)