In actual fact, boredom is now causing, and certainly bringing to psychiatrists, more problems to solve than distress. And these problems are growing increasingly crucial, for progressive automation will probably lead to an enormous increase in the leisure hours available to the average worker.
