Lec16-ProvingNPCompleteness-annotated.pdf