good translation subgroup of translation, 2 assertions