Even without one-way functions, combinatorial barriers from natural proofs remain because they follo...
This proposition has not been edited since the history system was added.