CPS'd the SAT monad.