Fitting_lemma loading ...