Razborov and Rudich's natural proofs barrier and Aaronson and Wigderson's algebrization barrier each...