Non-relativizing proofs' existence doesn't show which problems they can solve; most major open probl...
This proposition has not been edited since the history system was added.