1 First Draft
The hardest thing about writing a paper (in my experience) is getting a ¯rst
draft written.
In particular, if there are proofs, the hard part means getting some draft of
a proof written down on paper, not necessarily with every detail included.
It is not necessary to get a polished presentation on the ¯rst draft.