Kyle Jinkling Proofs - mattshaw