Charles Dickens invented the word boredom.