Exercise 3.40, 3.43 ~ 3.45