check proofs!