// correct use of translation functions