Borel's_lemma loading ...