Dynkin's_lemma loading ...