Chow's_lemma loading ...