If this is so, at the stage of derivation represented in (15) above, where will move from the italicised position shown in (16) below to become the specifier of that: (16) PRN where CP C' C that PRN he T will v ø+go PRN he V go TP T' vP VP V' PRN where At this point (once all the operations which apply on the CP-cycle have applied) the domain of C (. its TP complement) will undergo transfer in accordance with (7i), because CP is a phase: one consequence of this is that the italicised traces will be marked as.
