Lec 166 - Deductive Reasoning 1