The first step of translation
The formulas have to be derived in the toString of Dynamics