Max's Proofs