Steve_Rayhawk comments on Formalizing informal logic