Title: Primal Proofs