Ken_Brown's_lemma loading ...