full stats for proofs