Nine_lemma loading ...