Razborov and Rudich's natural proofs barrier presupposes strong pseudorandom function assumptions; i...