Notes P = PCP[o(log n), o(log n)].