The claim conflates 'relativizing proofs don't work' with 'structural proofs don't work,' but non-re...
This proposition has not been edited since the history system was added.