Proofs are out and about.

Proofs will soon be in. Here’s the cover.