a pneumatic wrench is a type of tool.