Jack Oetinger Senior Proofs