Timothy Y. Chow Almost-Natural Proofs. 86-91 2008 FOCS http://dx.doi.org/10.1109/FOCS.2008.16 conf/focs/2008 db/conf/focs/focs2008.html#Chow08