Further progress in the introduction.
PDF added.