count of proofs