Problem 4.7