Most people think of boredom as a sign of an under-occupied mind. The fix, in common understanding, is more stimulation — more activity, more distraction, ...