avoid duplicate proofs.