2 By definition, the model has a least cost translation path: monotone.
we can add to the baseline calculation D(s, t) the cost of skipping back to the first uncovered source word and then translating the remaining positions monotonically.