example 3.1