Definition CopyrightT :=
  string.
