Norbert Hornstein. 2000. Is the Binding Theory Necessary? Studies ire Modern Grammar 22, 1-63. Hornstein (1999) argues that obligatory control (OC) PRO is the residue of overt A-movement. The main argument for this conclusion is that a rich group of diagnostic properties characterizing OC structures follow if they are formed by movement. As Lebeaux (1983) notes, the properties of local anaphora mirror those of OC PRO. As such, these too should be derived via A-movement. This paper offers a way of doing this. Further, if anaphors are licensed via movement, this suggests that principle B should be reanalyzed so as to account for the complementary distribution of local anaphors and bound pronouns. This paper suggests some ways of rethinking principle B in the context of an A-movement approach to local anaphora.