Problems with example 4.10