 The complete sequence of transformations is taken to give a deep theoretical explanation of many properties of (B.i) and (B.ii), including such things as what could be substituted for the two NPs, and the fact there is at least rough truth-conditional equivalence between the two clauses.