"One Man's Modus Ponens Is Another Man's Modus Tollens" — LessWrong