a hammer drill is a type of tool.