“When we consider tools, we are dealing with human benefactors of the most primary sort. Tools increase and vary human power; they economize human time, and they convert raw substances into valuable and useful products. So when we muse on historic tools a