Update Proofs.idr