I would prefer to see the Cook-Levin theorem in place of the pumping lemma.