let name t = t.specification.Specification.name