Definition indexInfoWF (i : indexInfoT) : Prop :=
  0 < indexCount i.
