This study is primarily concerned with the question of how a certain type of remnant movement satisfies the Proper Binding Condition (PBC), the requirement that a trace be bound. Remnant movement is generally delineated as [… [β … tα …] … α … [… t...