notfnofn comments on Why write down the basics of logic if they are so evident?