renamed example 7.9 to 7.2