updated: solution to Problem 3.7