Add chapter 12 - monoids