adding ex_4_12 and ex_4_13