fun_deduction_example2.mp4