added example 9.5