It may be desirable at this point to make "quite sure" that the aggregation operation invoked *was* actually the lazy one in this case.  As the code stands, though, we haven't got a context that enables us to do that.