show/hide this revision's text 1 [made Community Wiki]

I think you should add as a recent result the proof for QIP=IP=PSPACE