Next_space.X.Y = F()
Where F = NextStepProc( Space, X, Y )