quote: The more we do, the more we can do; the more busy we are, the more leisure we have. [William Hazlitt]