Hoeffding's_lemma loading ...