Writing mathematical proofs is a difficult, interesting art, and I'd love to look at the kinds of miswrites, fixes, rewrites people make.
The camera-ready copy is due in about 19 hours.
Here's the most important page:

Any suggestions?
Is it easy to make LaTeX render squares instead of "QED"?