Post

Yes, as far as I understand. Though people's priors on SETH, which were already weaker than ETH, I think, may have shifted.