ennui is a kind of boredom.