BrooksKay_Proofs - Mason Resnick