Defined translation as a metafn