... sufficient/necessary mix-up/incorrect negation/incorrect reversal (all of ... kept formal and informal logic as separate and unrelated, but ... if we consider the "expressed contrapositive" (in quotes because I ... Anyway, maybe I'm slow and everyone already knew this, ...