Examples up to chapter 2.3.2