example 2.5