Kelly's_lemma loading ...