The historical record shows non-relativizing techniques solved major open problems; thus barriers to...
This proposition has not been edited since the history system was added.