Chapter 431: Proving the Basics