Peter Clavijo Proofs