Proctor Proofs