jmh comments on Traps of Formalization in Deconfusion