pliers are a kind of tool.