Chapter 2.5: Algebraic Proofs