Chris Swart- Proofs