cousin_it comments on Formalizing informal logic