wedrifid comments on Formalizing informal logic