let
name t = t.specification.
Specification
.name