The Copy Theory of Control (CTC) follows from the Markovian property of derivations (Chomsky 2021). We show how the CTC accounts for finite and non-obligatory control (NOC), by assuming that deletion is ‘No Transfer’ (Saab 2009) and that narrow syntax sees Formal Features (FFs) only (Chomsky 1995). While deletion under copy formation yields non-finite control, deletion by Agree with a rich I followed by copy yields finite control, hence a pro with a PRO-like interpretation. In NOC neither mechanism is available; the unvalued features of the subject are not transferred; interpretation assigns them an arbitrary or logophoric reading.