The claim conflates 'not fully relativizing' with 'truly non-relativizing'; natural proofs in comple...
This proposition has not been edited since the history system was added.