Optional_stopping_theorem loading ...