@jerry ah yes, I remember the proof that the quitting problem is NP-complete.