Defines the final state of a Mobius loop after a sequence of events have been processed.
Returns the Next that resulted from the last processed event
Returns the final model - note that was not necessarily produced by the last Next, in case that returned an empty model.