The idle man does not know what it is to enjoy rest. Hard work, moreover, not only tends to give us rest for the body, but, what is even more important, peace to the mind.