Pumping all the Lemma