7/13 proofs