sequence in the calculation, and serves as a default when the
    sequence is empty.
    z0reduce() of empty sequence with no initial valueN)