If the index of α is distinct from the index of β, then neither α nor β is the antecedent of the other. Shortly we will see reason to strengthen this constraint on interpretation of contraindexation.- Chomsky (1995), a pag.94