with a collection W n of independent standard Gaussian random variables, a positive parameter σ, some functions a , b , c : R → → R , and some standard Gaussian initial random state X ¯ ¯ 0 . We let η η n be the probability distribution of the random state X ¯ ¯ n ; that is, for any bounded measurable function f, we have