example 3.5