Update ex_1_3.scm