example 2.7