Solved example 2.4