Aaron P-Proofs