Newman's_lemma loading ...