adamShimi comments on Traps of Formalization in Deconfusion