We covered NP and I introduced proof by contradiction, doing one example (sqrt 2 is irrational). More examples after the examlet on Tuesday.