Inductive CopyingT := Copying {
  license   : LicenseT;
  copyright : CopyrightT
}.
