NewState = >?(Next).X.Y< (NextStepProc ? ? ?)