Jordan's_lemma loading ...