Davidson’s notions of translation equivalence