Text this: (poly(loglogn), poly(loglogn))-restricted verifiers are unlikely to exist for languages in NP C.T.I. Technical Report TR. 96.1.2 C.T.I. Technical Report TR, 96.3.7