"The end of labor

is to gain leisure."