 In this case, the pairing of the terms corresponds to identity of referents (Bickle 1992: 224) and IN can be directly obtained from TR (the reducing theory), whereas in cases on the opposite point of the spectrum, pairing is achieved only by reference to counterfactual limiting assumptions and boundary conditions. In this case, ontology is eliminated, as in the reduction of phlogiston-theory case.