Notes on deductive reasoning