Brownian motion (work in progress)