Katie's proofs

Expiration: May 5, 2024