Doob_martingale loading ...