\input{formalism_atranslation.tex}
