Boredom is a sickness the cure for which is work; pleasure is only a palliative