Marías and Hofstadter on the philosophy of translation