Kaitlyn and Ryan - Proofs