Incorporating some edits to proofs.