Laws of Deductive Reasoning