correction: renamed problem 8.3 to 8.4