Daniel V comments on Traps of Formalization in Deconfusion