Is boredom a bad thing?