wire strippers are a kind of tool.