In the case where y j is unaligned, the closest aligned target word to y j that has a corresponding alignment entry is aligned to x i ; then, if x i is present in the input, y j appears in the output.
our omniscient translation system will always produce the correct output given the correct input.