example 3.11