Moved the section on double negation into the conclusion as
further work.
Cleaned up a bit. In particular removed the "conjecture" qualifiation
on the theorem.