Fair_Games_Theorem.Optional_Stopping