4 ms·I would prefer to see the Cook-Levin theorem in place of the pumping lemma.by k4st 15y agoI would prefer to see the Cook-Levin theorem in place of the pumping lemma.