gwern comments on Formalizing informal logic