example 2.4