Finally, I think exponential time stuff is dead. We'll do more tests,
of course.