The end of labor is to gain leisure.