Currently, reduce operators continue folding until all documents have been processed. There are certain tasks for which we can "terminate early". E.g., if i want to get a summary of the top themes, in a collection of documents, I can stop if I know those top themes will not change. We should figure out what criteria allows for early stopping, and how to express it.