Is Boredom a Good Thing?