In fact the general assumption is that there is just one movement rule, usually called Move α which can be stated as: