A sense of logic — LessWrong