Add cone proofs.