i fucked up a pumping lemma proof the other day by adding a case for a 1 where there were p 0’s and |xy| <= p in the pumping lemma ama