Johnicholas comments on Formalizing informal logic