fun_deduction_example1.mp4