Improved example 5.1
Added example 9.1 (part 1-5)