give better proofs.