In the case of MT, as there are usually multiple translations e that minimize error(•), and multiple derivations d that result in the same translation e, o (i) will generally contain multiple members.
we cannot be entirely certain that we will reach a global optimum.