Why write down the basics of logic if they are so evident? — LessWrong