## A paragraph in the introduction to the document.
## A paragraph in the explanation of the proposition.
## A paragraph in the appendix.
This document is a Propositional Document. It is licensed under the
Creative Commons Attribution-ShareAlike license.