should never attempt to pass through the same iterator twice;

such an algorithm should be a single pass algorithm.

\begin{note}

For input iterators, \tcode{a == b} does not imply \tcode{++a == ++b}.

(Equality does not guarantee the substitution property or referential transparency.)