renamed example 5.5 to 5.1
renamed example 6.6 to 6.1