Can you document the assumptions about the input to `TupleIterator` and what it produces?