Problem 1.27 & ex1.4