Marin Proofs