We will see how it is reasonable to speak of a minimum distance that an element must cross in order to enter into a well-formed movement dependency. In the course of the discussion of this notion of anti-localiry, a theoretical framework unfolds which is compatible with recent thoughts on syntactic computation regarding local economy and phrase structure, as well as the view that certain pronouns are grammatical formatives, rather than fully lexical expressions. The upshot will be that if an element does not move a certain distance, the derivation crashes at PF, unless the lower copy is spelled out as a pronominal element. The framework presented has a number of implications for the study of clause-typing, of which some will be discussed towards the end