Equational theory (Chapter 5) and Abstract