Chapter 3 Proving Relationships