Solved example 7.6