gwern comments on “One Man’s Modus Ponens Is Another Man’s Modus Tollens”