Man’s worst enemies are boredom and discontent.