Gibbs_lemma loading ...