This is an old revision of the document!

## Propositions

### Meta

${\mathfrak D}_\mathrm{Propositions}$