SL 1.6-Deductive Proof