Trace Theory and Twice-Moved NPs