An overview of the Cook-Leven theorem and the Satisfiability Problem, covering how the problem is NP-Complete without reducing any other problem to it