Necessity of the SAT