Solution (source code)

= Solution

A <Lévy process> starts at zero almost surely, has stationary independent increments, and is stochastically continuous; one normally takes its càdlàg modification.