Is boredom a good or bad thing?