boredom is a type of emotion.