Lecture 25 deals with an intuitive view of NP - not the correct formal definition.