check the proofs too