Possibly numerical stable, appending trivial virtual discrete measurable condition, for long span expectation value, ignoring constant multiply, generic predictor. It is rare case but some series needs to input long span sectional summation related to some of measurable condition.
If original stream is Riemann measurable in discrete meaning, we get better result by applying pnext directly.