Steven Rudich Super-bits, Demi-bits, and NP/qpoly-natural Proofs. 85-93 1997 conf/random/1997 RANDOM db/conf/random/random1997.html#Rudich97