Matthew Chang Senior Proofs