This condition also holds when accumulating the bit sequences over a collection of results as long as its elements are selected uniformly from the space of possible results.
the bits generated from a collection of unwatermarked results will follow a binomial distribution with parameter p = 0.5.