Home Online Mathematical Communication Computational Complexity Natural Proofs is Not the Barrier You Think It Is