theory of step migration