[eru]

We won't be running out of hard problems to attack anytime soon, even if we produce a bunch of counterexamples to some of them.