Doob–Dynkin_lemma loading ...