Introduces the logic of the minimalist program by analyzing well-known descriptive generalizations about long-distance dependencies, and asks why they should be true of natural languages. This book proposes a theory of how long-distance dependencies are formed, with implications for theories of locality, and the minimalist program as a whole.