On translations of complete first order theories