a miter box is a type of tool.