We need to specify the priority mempool: its behaviour, transaction ordering, interaction with other Tendermint components etc.

Currently available documentation:

• Link to ADR067 that introduced the priority mempool.