Edition. - proofs.

Scope and Content

Including proofs of the index.