Prelude

This entry uses the latex format route and layout.

Statement

For now the layout is intentionally minimal. A more faithful latex style can be added later.