Arden's_lemma loading ...