renamed example 9.14 9.1