Applying Deductive Reasoning