a miter saw is a type of tool.