Step 3 for exercise 3.1.5