Pumping_lemma loading ...