example 3.2