Query: How are mathematical operations checked?
Context: Comparison of a back-translation with the original text is sometimes used as a check on the accuracy of the original translation, much as the accuracy of a mathematical operation is sometimes checked by reversing the operation. But the results of such reverse-translation operations, while useful as approximate checks, are not always precisely reliable.