Stochastic to stream is well-defined

Last updated Oct 4, 2022