a hammer is a type of tool.