Ddbar_lemma loading ...