Problem 4.3 done