Including results for cook's theorem.
Do you want results only for Cook S Theorem?