TorBarstad comments on Formalizing informal logic