stochastic-to-stream-is-well-defined