We require harmony orderings to be compatible with GEN: an ordering must treatȳ ,ȳ as incomparable (neither is the other) if they were produced from different underlying forms.
9 To make the notation readable let us denote the relation by the letter H. a transducer for H accepts the pair (ȳ ,ȳ) ifȳ ȳ.