norbert hornstein has proposed that control verbs can be explained without resorting to pro, and as such that pro can be done away with entirely. this theory explains obligatory control with movement, and non-obligatory control with pro (little pro). this alternative theory of control is in part motivated by adherence to the minimalist program.