translators proof