“Properly constructed” is the key phrase here. The vicious circle shouldn’t be there, and wouldn’t be if “right” is defined correctly (for example perhaps as a logical construct which itself doesn’t refer to “right”), but if by “right” IE means IE’s output, then it is there.
“Properly constructed” is the key phrase here. The vicious circle shouldn’t be there, and wouldn’t be if “right” is defined correctly (for example perhaps as a logical construct which itself doesn’t refer to “right”), but if by “right” IE means IE’s output, then it is there.
By “right”, BE and IE both mean “the output of algorithm X”. The fact that IE happens to be algorithm X doesn’t cause a vicious circle.