wire cutters are a kind of tool.