Proof by Deduction