# deductive reasoning