Chapter 47: How do you prove it