example 5.2