Major refactoring of Chapter 1 introduction.