One would expect boredom to be a great yawning emotion, but it isn’t, of course. It’s a small niggling thing.