Deduction

1 2