Update deduction_example.py