Day 4

Cook's proof that CNF-Satisfiability is NP-complete