There's also a chance that the distraction is dissipating energy spent in particularly unhelpful endeavors. If that's true, who knows what the ratio between helpful and unhelpful boredom is?