Definition structureWF (s : structureT) : Prop :=
  structureWFComponentNamesUnique s.
