Makenna Faust Proofs