Solved problem 4.2.c