A bit of boredom can help us fight our burnout epidemic