Avoiding Duplicate Proofs