Element 'correctness of translations'