Comment by cwillu

…but super-polynomial.