Local_ddbar_lemma loading ...