Examples and exercises for chapter 4.1