Document steps in exercise 8.3