Implement examples up to chapter 4.6.1