Osgood's_lemma loading ...