Another key difference is that [1]}
assumes that \( \hat{x}_i \)  belong to a Noetherian ring with \( M \) 
its maximal element. This implicitly assumes that the algorithm is a priori bounded. For distance estimation this means a prior assumption on the diameter, which is unappealing in the context of open systems.
<FIGURE>