example 3.9