check for proofs that are already there