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