More like gained in translation, if the formalization fixed a possible problem.