prase comments on Formalizing informal logic