a knife is used for a tool in a shop.