Yeah, I was wrong. Page two too, I commented too soon.

NP is not yet proven to be subexponential but still, ETH disproven is huge