9_Translations_of_arithmetic_formulas_(BAPLaCT)