 In sign language, the only way to obtain the intended reading of the sentence is for the pronouns to index different antecedents. This shows that a theory need not only get the truth conditions right (as some D-type theories can), but must account for the formal link between each antecedent and pronoun. For criticism of the thesis that loci are overt variables see Kuhn (2016). 