example 1.6