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