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