a jack is a type of tool.