Non-relativizing proof techniques (e.g., arithmetization underlying IP=PSPACE) demonstrate that diag...