example 11.6