⁶We understand streams as functions from time to a set of objects, so that an object corresponds to any given moment of time. In our paper, time tends to have a starting point, to be discrete, and to continue indefinitely, so we usually model time by non-negative integers starting from 0 or 1.