When you consider how epidemic boredom is in our time, you have to concede that entertaining is a healing art.