 The conditions, CR, will consist of limiting assumptions and boundary conditions that guarantee that if TB is more comprehensive than TR, the application of elements of TB’s vocabulary is restricted to the domain relevant for TR. The idea is to effect reductions that include corrections by working on the reducing theory (here ‘TB’) and not by working with corrections formulated in the vocabulary of the reduced theory. Ronald Endicott (1998: 56) identifies four core aspects of New Wave reduction: (i) “New Wave construction”: the corrected version of the reduced theory is constructed within the vocabulary of the reducing theory; (ii) “New Wave deduction”: this corrected version is deduced from the reducing theory; (iii) “New Wave relation”: analogical relations play the role bridge-laws play within Nagelian models; (iv) “New Wave continuum”: these analogical relations may differ in degree of strength—reductions based on strong analogical relations justify a conservative stand towards the (ontology of) the reduced science, whereas reductions based on weak analogical relations justify elimination. Identity (a limiting case for the continuum), for example, ensures that the ontology of the reduced theory is preserved by the reducing theory.