 For example, suppose an infomorfism \(f : \mathbf{A} \rightarrow \mathbf{C}\) is part of the distributed system under study. Then \(f\) naturally transforms each global constraint \(T \Rightarrow T'\) of \(L_{\mathbf{A}}\) into \(f^{\wedge}(T) \Rightarrow f^{\wedge}(T')\), which can always be shown to be an element of \(L_{\mathbf{C}}\). This means that one can reason within \(\mathbf{A}\) and then reliably draw conclusions about \(\mathbf{C}\). On the other hand, it can be shown that using preimages under \(f^{\wedge}\) in order to translate global constraints of \(\mathbf{C}\) does not always guarantee the result to be a global constraint of \(\mathbf{A}\). It is then desirable to identify extra conditions under which the reliability of the inverse translation can be guaranteed, or at least improved. In a sense, these questions are qualitatively close to the concerns Shannon originally had about noise and reliability. 