Rearrange and add proof that NNC(polylog) = PCP[loglog, polylog].