In the "Barriers" framework, Aux-to-Comp can only be analyzed as an instance of Move α with α = V. Consequently, it must be (re)analyzed as Verb Movement to Infl to Comp.- Pollock (2004), a pag.306