A racket program reducing 3-satisfiability to k-clique.