This volume brings together papers which address issues regarding the copy theory of movement. According to this theory, a trace is a copy of the moved element that is deleted in the phonological component but is available for interpretation at L(ogical) F(orm). Thus far, the bulk of the research on the copy theory has mainly focused on interpretation issues at LF. The consequences of the copy theory for syntactic computation per se and for the syntax–phonology mapping, in particular, have received much less attention in the literature, despite its crucial relevance for the whole architecture of the model. As a contribution to fill this gap, this volume congregates recent work that deals with empirical and conceptual consequences of the copy theory of movement for the inner working of syntactic computations within the Minimalist Program, with special emphasis on the syntax–phonology mapping.