On the very definition of "labor saving devices."