x
Modus tollens - History — LessWrong