Solution to exercise 1.1.3