∀ {name release version machine name_1 release_1 version_1 machine_1 : String},
  { name := name, release := release, version := version, machine := machine } =
      { name := name_1, release := release_1, version := version_1, machine := machine_1 } →
    name = name_1 ∧ release = release_1 ∧ version = version_1 ∧ machine = machine_1