Improved specification of exercise 5.