Modified pr1_4, pr1_5 and ex3_2