Boredom is an evil that is not to be estimated lightly. It can come in the end to real despair. The public authority takes precautions against it everywhere, as against other universal calamities.