Definition of "translatedst"