The BGS oracle construction shows relativizing proofs have limits, but doesn't prove all valid proof...
This proposition has not been edited since the history system was added.