'The end of labor is to gain leisure*'