Putting the example in the problem