Document proofs.