Result of the big example/problem 1