Removes enumerate in proof environment; clarifies PCP verifier algorithm with enumerate environment.
Simplifies sentence.
Fixes incorrect alternate definition of NNC.
Changes proposition to be more general: complete -> hard.
Changes proposition to describe the relationship between NNC and P.