downward_translate
