Noted that adapting a certain proof fails; adds PCP in NNC theorem.