renamed example 6.7 to 6.2