Improved proofs.