Lebesgue's_lemma loading ...