Possibly numerical stable, appending trivial virtual discrete measurable condition, long span expectation value, ignoring constant multiply predictor.
If original stream is Riemann measurable in discrete meaning, we get better result by applying pnext directly.