31. Reasoning by deduction