Pumping lemma? · HackerTrans