Chapter 5 - Rules for reproofs