Doob's_optional_stopping_theorem loading ...