We reiterate that no other output has positive probability under their model, for example, swapping -a for -es or ablaut of a stem vowel.
in the implementation, we actually decrement the weight of every edge σ → σ (including when σ = empty) by the weight of empty → σ.