Revised solution to problem 5