Rebuttal proofs