NewState = NextStepProc( ?, ?, ? ), '?(Next).X.Y'