example 4.2