Proof: Chapter 7 of Predictable Results