Done exercise 1.31a