Move [alpha] conditions on its applications and output - Lasnik, Howard (MIT Press, 1992)