 In cases lying at or near the retentive endpoint, the IN is the exactly equipotent isomorphic image of the TO, and no counterfactual limiting assumptions or boundary conditions are required for the derivation of IN. (Bickle 1992: 223)