What The Theorem Must Do
Given a problem X, and a string x??*, create a Boolean expression in polynomial time
The Boolean expression must be in CNF form
The Boolean expression must be satisfiable if and only if x?X
We can make use of MX and the polynomial time bound p(n) of MX.