EQUIVALENCE AND TRANSLATABILITY OF