Last example 3.12 added.
Except for the TODOs, all examples are completed