The quote: The end of labor is to gain leisure