Definition HumanNameT :=
  string.
