O_p(t) should be O_p(t') in integral near the bottom I also discussed the Almhieri-Dong-Harlow paradox and its resolution with quantum error correction, but I have no notes for this yet, for now see Harlow's review article for details.
