Definition infoWF (i : infoT) : Prop :=
  structureWF (infoStructure i).
