Processing tools, inspection tools, fastening tools, welding tools, … used in manufacturing are collectively called “tools”.