der comments on Naturally solved problems that are easy to verify but that would be hard to compute