added stuff for pumping lemma